a commutative ring R is an integral domain iff cancellation law for multiplication holds in R